function change() {
  var num = parseInt(Math.random() * 5);
  var text = ['NASA: Pluto Matters!', 'No! Primate Mutation!', 'No Padding Module', ' Natural Potato Magnet', 'NeXTSTEP Programming Mastermind'];
  // console.log(text[num]);
  document.getElementById("wenzi").innerHTML = text[num];
}

function displayMenu(){
var menu=document.getElementById("menu");
menu.style.display="block";
}

function hideMenu(){
var menu=document.getElementById("menu");
menu.style.display="none"
}